| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Learning Theory | Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 443049 | ||
| Algorithmische Lerntheorie (Übung) | Übung | 443040 | Fr 12:30-14:00 AH III (2350|314.1) (×6) | |||
| Algorithmische Lerntheorie | Vorlesung | 443039 | Mo 16:30-18:00 AH II (2350|111) (×10) Do 08:30-10:00 AH III (2350|314.1) (×11) | |||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 8 | 438336 | ||
| Algorithms for Politics | Algorithmics for Politics | Fach-/Modulprüfung | 6 | 441963 | ||
| Analysis of Algorithms | Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 437473 | ||
| Combinatorial Graph Theory | Kombinatorische Graphentheorie | Fach-/Modulprüfung | 6 | 440920 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 439089 | ||
| Concurrency Theory | Concurrency Theory | Fach-/Modulprüfung | 6 | 441360 | ||
| Concurrency Theory | Übung | 442102 | Di 12:30-14:00 AH I (2350|028) (×14) | |||
| Concurrency Theory | Vorlesung | 442101 | Di 10:30-12:00 AH I (2350|028) (×12) Fr 10:30-12:00 AH I (2350|028) (×14) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 442197 | ||
| Theoretical Foundations of the UML (FUML) | Übung | 442103 | Mo 10:30-12:00 AH V (2356|050) (×11) | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 442104 | Mo 16:30-18:00 AH I (2350|028) (×8) Do 16:30-18:00 AH V (2356|050) (×10) Do 17:00-19:00 AH I (2350|028) (×1) | |||
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 437833 | ||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 440480 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 440268 | ||
| Infinite Computations and Games | Übung | 435495 | Mo 14:30-16:00 5054 (2356|054) (×12) | |||
| Infinite Computations and Games | Vorlesung | 436242 | Di 10:30-12:00 Online-Veranstaltung (×11) Di 14:30-16:00 Online-Veranstaltung (×1) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 438144 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 441622 | |||
| Logik und Spiele (Übungen) | Übung | 442122 | Do 12:30-14:00 IV (1010|141) (×15) | |||
| Logik und Spiele | Vorlesung | 442121 | Di 12:30-14:00 IV (1010|141) (×14) Mi 12:30-14:00 I (1010|101) (×15) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 439028 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 439625 | ||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 438788 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 440241 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 435268 | ||||
| Komplexitätstheorie | Vorlesung | 435267 | Di 16:00-18:00 Online-Veranstaltung (×1) Di 16:30-18:00 AH III (2350|314.1) (×6) Di 16:30-18:00 Online-Veranstaltung (×4) Do 10:30-12:00 AH III (2350|314.1) (×10) Do 10:30-12:00 Online-Veranstaltung (×4) | |||
| Parameterized Algorithms | Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 437988 | ||
| Parametrisierte Algorithmen | Übung | 443842 | Mo 14:30-16:00 5056 (2356|056) (×14) Mo 14:30-16:00 Online-Veranstaltung (×14) | |||
| Parametrisierte Algorithmen | Vorlesung | 443841 | Mo 10:30-12:00 5056 (2356|056) (×14) Mo 10:30-12:00 Online-Veranstaltung (×14) Fr 10:30-12:00 5056 (2356|056) (×13) | |||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 439096 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 440284 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 436932 | Mo 08:30-10:00 AH II (2350|111) (×13) Mo 08:30-10:00 Online-Veranstaltung (×13) Di 12:30-14:00 AH II (2350|111) (×14) Di 12:30-14:00 Online-Veranstaltung (×14) |